Quantum computing with a sparkle

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Computing with a Quantum Flavor

Introduction. The last century witnessed the birth and the rapid develop

متن کامل

Sparkle: a functional theorem prover

Sparkle is a new theorem prover written and specialized in the functional programming language Clean. It is in the first place intended to be used by programmers on small parts of Clean-programs, combining theorem proving and programming into one process. It should of course also be usable by logicians interested in proving properties of larger programs. This paper presents an example proof abo...

متن کامل

Quantum Computing with Molecules

RELATED LINKS Factoring a number with 400 digits--a numerical feat needed to break some security codes--would take even the fastest supercomputer in existence billions of years. But a newly conceived type of computer, one that exploits quantummechanical interactions, might complete the task in a year or so, thereby defeating many of the most sophisticated encryption schemes in use. Sensitive da...

متن کامل

Quantum computing with ions.

August 20 0 8 Over the past several decades technological advances have dramatically boosted the speed and reliability of computers. Modern computer chips pack almost a billion transistors in a mere square inch of silicon, and in the future computer elements will shrink even more, approaching the size of individual molecules. At this level and smaller, computers may begin to look fundamentally ...

متن کامل

Quantum computing with defects.

Identifying and designing physical systems for use as qubits, the basic units of quantum information, are critical steps in the development of a quantum computer. Among the possibilities in the solid state, a defect in diamond known as the nitrogen-vacancy (NV(-1)) center stands out for its robustness--its quantum state can be initialized, manipulated, and measured with high fidelity at room te...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Materials Today

سال: 2008

ISSN: 1369-7021

DOI: 10.1016/s1369-7021(08)70068-3